The Prophecy of Undo

نویسنده

  • Martín Abadi
چکیده

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Special Effects; or, The Tooling Is Here. Where Are the Results?

Technological developments tend to move at a very different speed from their cultural assimilation. Hence it is not surprising that impressive technical wizardry should be used in culturally unimpressive ways. The real problem is one of imaginative maturity. Here I argue that Choueka's old question, " The tools are here; where are the results? " , similarly directs humanist scholars to pay atte...

متن کامل

A Comparative Study of Mulla Sadra and Henry Corbin: Their Views concerning the Impact of Revealed Teachings on Human Being

In the Islamic tradition, Mulla Sadra is foremost among the philosophers who have dealt with the issue of prophecy from all three theological, philosophical, and mystical perspectives. Among Western scholars of religion, Henry Corbin is the most prominent commentator of prophetic wisdom, who has provided a mystical reading of the problem of prophecy drawing on the ideas of Muslim philosophers. ...

متن کامل

The Continuation of New Testament Prophecy and a Closed Canon: A Critique of Wayne Grudem’s Two Levels of New Testament Prophecy

A key sticking point dividing fundamentalists and conservative evangelicals is the question regarding the cessation versus the continuation of New Testament prophecy. Fundamentalists have traditionally argued for the present cessation of New Testament prophecy, 1 whereas a growing number of conservative evangelicals argue for its present continuation. 2 At the heart of the debate are the issues...

متن کامل

Prophecy: Accelerating Mobile Page Loads Using Final-state Write Logs

Web browsing on mobile devices is expensive in terms of battery drainage and bandwidth consumption. Mobile pages also frequently suffer from long load times due to high-latency cellular connections. In this paper, we introduce Prophecy, a new acceleration technology for mobile pages. Prophecy simultaneously reduces energy costs, bandwidth consumption, and page load times. In Prophecy, web serve...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015